TAGs: Solving compound inequalities